Synthesising Real-Time Systems from Atomic Basic Blocks
نویسندگان
چکیده
Whether a real-time system is implemented as timetriggered or event-triggered system is constituted quite early in the development process of real-time systems. Unfortunately, different task models are associated inseparably with these real-time architectures. This makes it very hard to migrate from time-triggered to event-triggered systems and vice versa, also the reuse of individual eventhandlers of a real-time system is prohibited by this fact. In this paper we point out that there is no need to prefer a certain real-time architecture in many cases. Therefore, we sketch an architecture-independent representation of realtime systems based on so called atomic basic blocks (ABB). These ABBs allow to describe reusable event-handlers that are composed into the final real-time system by an automated synthesis.
منابع مشابه
Atomic basic blocks: eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur
The internal composition of a real-time system is significantly affected by the structural elements of the underlying real-time systems architecture. These elements control how tasks are attached to external events and how cooperating tasks interact with each other. Research and industry have brought up two fundamentally different manifestations of such realtime systems architectures: On the ha...
متن کاملThe RTSC: Migrating Event-Triggered Systems to Time-Triggered Systems
In this paper we present a prototype of the RTSC – the Real-Time Systems Compiler. The RTSC is a compiler-based tool that enables the migration from event-triggered to time-triggered real-time systems. This is achieved by replacing the real-time systems architecture of a given real-time system. The real-time systems architecture governs the structural properties of the white-box view of a real-...
متن کاملSynthesising Instruction Selection
ion The IR should abstract from details of both the hardware and the source language. Following these guidelines, IRs traditionally have the same structure as machine languages: They consist of sequences of atomic instructions. An IR’s instructions are mostly simple: It usually contains instructions for every basic arithmetical and logical operation, and separate instructions for memory access....
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملWeak Ordering Oracles for Failure Detection-Free Systems
Agreement abstractions, such as consensus, atomic broadcast, and generic broadcast [2], are important building blocks in distributed systems subject to processor failures. Atomic broadcast, for example, has been used to build many fault-tolerant systems, such as highly-available databases. Atomic broadcast guarantees that if a message is broadcast to a group of processors and one of these proce...
متن کامل